2737c2069f84098f5f1f32cc5279e6050505b9b7,src/org/exist/xquery/LocationStep.java,LocationStep,getAttributes,#XQueryContext#Sequence#,439

Before Change


            //TODO : currentDocs can not be null here
            //TODO : currentSet can not be null here
            if (!optimized && (currentSet == null || currentDocs == null
                || !(docs.equalDocs(currentDocs)))) {
                ElementIndex index = context.getBroker().getElementIndex();
                if (context.getProfiler().isEnabled())
                    context.getProfiler().message(this, Profiler.OPTIMIZATIONS,

After Change


        if (hasPreloadedData()) {
            DocumentSet docs = getDocumentSet(contextSet);
            if (currentSet == null || currentDocs == null ||
                    (!optimized && !(docs == currentDocs || docs.equalDocs(currentDocs)))) {
                ElementIndex index = context.getBroker().getElementIndex();
                if (context.getProfiler().isEnabled())
                    context.getProfiler().message(this, Profiler.OPTIMIZATIONS,